University of Manchester - PDFSEARCH.IO - Document Search Engine

University of Manchester
Results: 1471

#	Item
61	Instrumenting the Atomic Decomposition: software APIs for OWL Dmitry Tsarkov, Chiara Del Vescovo, and Ignazio Palmisano School of Computer Science, The University of Manchester, UK Abstract. The Atomic Decomposition (AD) Add to Reading List Source URL: www.cs.man.ac.uk - Date: 2015-02-05 09:51:09
62	Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk - Date: 2015-02-05 09:51:06
63	THE UNIVERSITY OF MANCHESTER CICADA One Day Conference: Computation and Dynamics of Continuous and Discrete Processes REVISED Add to Reading List Source URL: www.cicada.manchester.ac.uk - Date: 2009-06-25 09:45:33
64	Michael Lisanti Institute of Cancer Sciences, University of Manchester, Cancer Research UK Manchester Institute, Manchester (United Kingdom) Professor Lisanti serves as the Director of the Manchester Breakthrough Breast Add to Reading List Source URL: www.bionanomed.at - Date: 2016-01-20 04:34:40
65	The UK Research Excellence Framework (REF 2014) Steve Furber The University of Manchester REF 2014 sub-‐panel 11 chair Add to Reading List Source URL: cra.org - Date: 2016-07-19 15:54:33
66	Inference of road traffic congestion from sensor events Nicholas Gould and James Cheng, Manchester Metropolitan University, Manchester, UK William Mackaness, University of Edinburgh Abstract We describe Add to Reading List Source URL: www.ncgia.buffalo.edu - Date: 2016-05-18 12:38:25
67	Clay Minerals Group Annual Research in Progress Meeting Tuesday 13th September 2016 University of Manchester Keynote: Nick Tosca (University of Oxford) - Authigenic Fe-silicates, iron Add to Reading List Source URL: www.minersoc.org - Date: 2016-05-28 07:24:32
68	FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk - Date: 2015-02-05 09:51:10
69	A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini Add to Reading List Source URL: www.hermit-reasoner.com - Date: 2012-02-03 12:06:02
70	On the Reaxiomatisation of General Topology Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu - Date: 2009-02-12 12:33:01

UPDATE